|
課程名稱 |
非古典邏輯
Non-classical Logic |
|
開課學期 |
105-2 |
|
授課對象 |
文學院 哲學研究所 |
|
授課教師 |
鄧敦民 |
|
課號 |
Phl7706 |
|
課程識別碼 |
124 M4260 |
|
班次 |
|
|
學分 |
3.0 |
|
全/半年 |
半年 |
|
必/選修 |
選修 |
|
上課時間 |
星期三8,9,10(15:30~18:20) |
|
上課地點 |
哲研討室一 |
|
備註 |
本課程中文授課,使用英文教科書。C領域。
總人數上限：15人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1052nonclassical |
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
本課程簡介各種常見的非古典邏輯系統，包含正規與非正規的模態邏輯，條件邏輯，直覺邏輯，多值邏輯，自由邏輯，模糊邏輯等。本課程將會採用Graham Priest在2008年第二版的非古典邏輯導論為參考教科書，因此書採用的「樹枝系統」(tableaux system)為基本的proof system，能簡化並有系統的幫助我們掌握這些非古典邏輯的系統。在這些非古典邏輯系統背後的動機與哲學意義亦會在此課程中討論。
|
|
課程目標 |
本課程目標在使學生：
（1）學習各種非古典邏輯系統
（2）理解每種非古典邏輯系統背後的動機與哲學意義。
|
|
課程要求 |
學生需要修過基本邏輯或具備基本邏輯的知識。
每位修課同學須參與課堂討論，並完成指定的作業習題。
|
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
待補 |
|
參考書目 |
Textbook:
Graham Priest (2008), An Introduction to Non-Classical Logic: From If to Is, 2nd ed., Cambridge: Cambridge University Press.
Further Readings:
G. Hughes and M. Cresswell (1996), A New Introduction to Modal Logic, London: Routledge.
Blackburn, de Rijke and Venema (2001), Modal Logic, Cambridge: Cambridge University Press.
D. van Dalen (1997), Logic and Structure, 3rd ed., New York: Springer.
M. Dummett (1977), Elements of Intuitionism, Oxford: Oxford University Press.
N. Rescher (1969), Many-Valued Logic, New York: McGraw-Hill.
E. Mares (2004), Relevant Logic: A Philosophical Interpretation, Cambridge: Cambridge University Press
T. Williamson (1994), Vagueness, London: Routledge
R. Keefe and P. Smith (1996), Vagueness: A Reader, Cambridge, Ma.: MIT Press.
K. Lambert (2003), Free Logic: Selected Essays, Cambridge: Cambridge University Press.
|
|
評量方式
(僅供參考) |
|
No. |
項目 |
百分比 |
說明 |
|
1. |
midterm exam |
50% |
|
2. |
final exam |
50% |
|
|
|
週次 |
日期 |
單元主題 |
|
第1週 |
2/22 |
Basic Modal Logic |
|
第2週 |
3/01 |
Normal Modal Logics |
|
第3週 |
3/08 |
Non-normal Modal Logics |
|
第4週 |
3/15 |
Conditional Logics |
|
第5週 |
3/22 |
Intuitionist Logic |
|
第6週 |
3/29 |
Many-valued Logics and First Degree Entailment |
|
第7週 |
4/05 |
Holiday (no class) |
|
第8週 |
4/12 |
Logics with Gaps, Gluts and Worlds |
|
第9週 |
4/19 |
Midterm exam |
|
第10週 |
4/26 |
Relevant Logics |
|
第11週 |
5/03 |
Fuzzy Logics |
|
第12週 |
5/10 |
Free Logics |
|
第13週 |
5/17 |
Constant Domain Modal Logics |
|
第14週 |
5/24 |
Variable Domain Modal Logics |
|
第15週 |
5/31 |
Identity in Modal Logic; Non-normal Quantified Modal Logics |
|
第16週 |
6/07 |
Quantified Conditional Logics |
|
第17週 |
6/14 |
Quantified Intuitionist Logic |
|